Créer des expressions

Pour chaque variable de sortie, la fenêtre d'analyse combinatoire maintient deux structures: la colonne concernée dans la table de vérité et une expression booléenne. Chaque structure définit comment la sortie dépend de ses entrées. Vous pouvez éditer soit la table de vérité soit l'expression. L'un ou l'autre sera automatiquement mis à jour pour rester consistant.

Comme nous allons le voir sur la page suivante, les expressions booléennes sont particulièrement utiles dans la mesure ou la fenêtre d'analyse combinatoire utilisera ces dernières quand il sera nécessaire d'élaborer le circuit correspondant à la configuration courante.

Vous pouvez voir et éditer les expressions en utilisant les deux derniers onglets de la fenêtre: l'onglet expressions et l'onglet Karnaugh.

L'onglet expression

#########

L'onglet expressions vous permet de visualiser et éditer l'expression courante pour chaque variable de sortie. Vous pouvez sélectionner l'expression de sortie en utilisant le sélecteur appelé Sortie: en haut du panneau.

Juste en dessous du sélecteur, l'expression apparaît dans un format d'usage commun, ou un OR est représenté par une addition, un AND est représenté par une multiplication, et un NOT est représenté par une barre au-dessus de la lettre.

Sur le même panneau en dessous nous avons la même information en ASCII. Dans ce contexte, le NOT est représenté par le caractère tidle ('~').

Vous pouvez éditer l'expression dans le panneau de texte et cliquer sur le bouton entrer pour la rendre effective. En faisant cela, vous mettez à jour également la table de vérité de manière correspondante. Le bouton effacer vide le champ texte et le bouton revenir remet le texte qui correspond à l'expression courante.

Notez que votre expression sera modifiée de manière irrémédiable si vous éditez la table de vérité.

En plus des additions et multiplications représentant des AND et des OR, une expression entrée peut contenir des opérateurs logiques C/JAVA ainsi que des mots.

Priorité la plus haute ~ ! ' NOT
(none) & && AND
^ XOR
Priorité la plus basse + | || OR

Les exemples suivants sont tous des représentations valides de la même expression. Il est d'ailleurs aussi possible de mélanger les opérateurs.

a' (b + c)
!a && (b || c)
NOT a AND (b OR c)

En général, des parenthèses dans une séquence de AND (ou de OR ou de XOR) n'ont aucun effet. (En particulier, quand Logisim génère un circuit, il ignore ces parenthèses).

L'onglet Karnaugh

#########

Le dernier onglet affiche l'expression minimale d'une colonne de la table de vérité. Avec le sélecteur du haut Sortie:, vous pouvez sélectionner la sortie minimisée d'une colonne de la table que vous souhaitez afficher. Vous pouvez indiquer si vous souhaitez produire une somme de produits ou un produit de sommes en utilisant le sélecteur Format:.

S'il y'a quatre ou moins de quatre entrées, la table de Karnaugh correspondante apparaîtra au centre du panneau. Vous pouvez cliquer la table de Karnaugh pour changer les valeurs correspondantes dans la table de vérité. La table de Karnaugh affichera également les termes sélectionnés pour l'expression minimisée avec un rectangle arrondi superposé semi-transparent.

En dessous, vous trouverez l'expression minimisée elle-même, formatée de la même manière que dans l'onglet Expression. S'il y'a plus de quatre entrées, la table de Karnaugh ne va pas apparaître, mais l'expression minimisée sera tout de même affichée. (Logisim utilise l'algorithme de Quine-McCluskey pour élaborer l'expression minimisée. Ceci est équivalent à une table de Karnaugh, mais appliqué à un nombre quelconque de variables en entrée.)

Le bouton Définir comme expression vous permet de définir l'expression minimisée comme l'expression correspondant à la variable. Comme les modifications à la table de vérité induisent l'expression minimisée pour la colonne en question ceci ne sera habituellement pas nécessaire, mais si vous entrez une expression dans l'onglet Expression, alors c'est une possibilité intéressante de basculer dans l'expression minimisée correspondante.

Suite: Générer un circuit.